digraph A1 {
	S1->S2 [LABEL="a"]
	S2->S1 [LABEL="b"]
	[initial={S1}]
	[final={S1}]
}
	
